A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures

In this paper we study the problem of constraint transformation. We consider a special type of system in which the uncontrollable subnet is an assembly flow system, which is a subclass of backwardsynchronization-backward-conflict-free Petri net. We propose an algorithm to transform a given inadmissable GMEC into an equivalent admissible OR-GMEC. The algorithm is based on a technique that adds new constraints obtained by composition of elementary ones. Published as: [Z. Y. Ma, Z. W. Li, A. Giua, “A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures,” WODES14: 12th Int. Work. on Discrete Event Systems (Cachan, France), May 14-16, 2014.] DOI: 10.3182/20140514-3-FR-4046.00085. Z. Ma is with the School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China (e-mail: [email protected]), and also with Dipartimento di Ingegneria Elettrica ed Elettronica, Università degli Studi di Cagliari, Cagliari 09123, Italy. Z. Li is with the School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China, and also with Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau (e-mail: [email protected], [email protected]). A. Giua is with Aix Marseille Université, CNRS, ENSAM, Université de Toulon, LSIS UMR 7296, Marseille 13397, France (e-mail: [email protected]), and also with Dipartimento di Ingegneria Elettrica ed Elettronica, Università degli Studi di Cagliari, Cagliari 09123, Italy (e-mail: [email protected]).